Constructing petri net models using genetic search

Constructing biological pathway models with hybrid functional Petri net

In many research projects on modeling and analyzing biological pathways, the Petri net has been recognized as a promising method for representing biological pathways. From the pioneering works by Reddy et al., 1993, and Hofestädt, 1994, that model metabolic pathways by traditional Petri net, several enhanced Petri nets such as colored Petri net, stochastic Petri net, and hybrid Petri net have b...

Verifying Petri-Net Models Using Process Algebra

Constructing Petri Net Transducers with PNTooL

This poster presents a tool for the modular construction of Petri net transducers by means of several composition operations as for example union, concatenation, closure, parallel and synchronous product and language composition. There are exports to PNML and several graphical output formats. For the implementation, we use the SNAKES framework, which is a Python library supporting the rapid pro...

Controlling Petri Net Process Models

We present and compare existing formalisms that consider the control of Petri net process models in the area of business processes and web services. Control has the aim to force a process to behave in a desirable way. Process models that behave properly without any control are often called “sound”. For process models that behave properly when being controlled, i.e., for controllable processes, ...

Petri Net Models of Multithreadedmultiprocessor

Timed Petri net models of multithreaded ... (January 31, 1997) 2